|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--java.util.EventObject
|
+--jade.core.event.JADEEvent
|
+--jade.core.event.PlatformEvent
This class represents an event related to the platform life cycle and configuration.
| Field Summary | |
static int |
ADDED_CONTAINER
|
static int |
BORN_AGENT
|
static int |
DEAD_AGENT
|
static int |
MOVED_AGENT
|
static int |
REMOVED_CONTAINER
|
| Fields inherited from class java.util.EventObject |
source |
| Constructor Summary | |
PlatformEvent(AID aid,
ContainerID eventSource,
ContainerID to)
This constructor is used to create a PlatformEvent when an agent moves from one container to another. |
|
PlatformEvent(int id,
AID aid,
ContainerID eventSource)
This constructor is used to create a PlatformEvent when an agent is born or dies. |
|
PlatformEvent(int id,
ContainerID eventSource)
This constructor is used to create a PlatformEvent when a container is added or deleted. |
|
| Method Summary | |
AID |
getAgent()
Returns the AID of the agent that was born,
died, or moved. |
ContainerID |
getContainer()
Returns the ContainerID of the event source. |
int |
getEventType()
Returns the event type which will be one of ADDED_CONTAINER,
REMOVED_CONTAINER,
BORN_AGENT,
DEAD_AGENT, or
MOVED_AGENT. |
ContainerID |
getNewContainer()
Returns the ContainerID of the container
to which an agent moved when the event type is
MOVED_AGENT. |
boolean |
isAgentBD()
Returns a boolean to indicate if the event type is either BORN_AGENT or
DEAD_AGENT. |
boolean |
isContainerBD()
Returns a boolean to indicate if the event type is either ADDED_CONTAINER
or REMOVED_CONTAINER. |
java.lang.String |
toString()
Returns a string representation of this event. |
| Methods inherited from class jade.core.event.JADEEvent |
getPlace,
getTime |
| Methods inherited from class java.util.EventObject |
getSource |
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
| Field Detail |
public static final int ADDED_CONTAINER
public static final int REMOVED_CONTAINER
public static final int BORN_AGENT
public static final int DEAD_AGENT
public static final int MOVED_AGENT
| Constructor Detail |
public PlatformEvent(int id,
ContainerID eventSource)
ADDED_CONTAINER or
REMOVED_CONTAINER,
an InternalError
exception will be thrown.
The getContainer() method can be used to get
the event source.
The getAgent() and
getNewContainer() methods will both return null
values for a ADDED_CONTAINER
or REMOVED_CONTAINER event.
id - The event ID must be either
ADDED_CONTAINER or
REMOVED_CONTAINER.eventSource - The container id of the source of the event. The
container ID of the main container should always be passed as the
event source since only the main container generates a PlatformEvent
when a container is added or removed.
getContainer()
public PlatformEvent(int id,
AID aid,
ContainerID eventSource)
BORN_AGENT or DEAD_AGENT,
an InternalError
exception will be thrown.
The getContainer() method can be used to get
the event source.
The getNewContainer() method will return null
for a BORN_AGENT or
DEAD_AGENT event.
id - The event ID must be either
BORN_AGENT or
DEAD_AGENT.The - AID of the new or dead agent.eventSource - The container id of the source of the event.
The container ID of the container where the agent was born or died should
be passed, even though the main container is the object that will acutally
generate the event.
getContainer(),
getAgent()
public PlatformEvent(AID aid,
ContainerID eventSource,
ContainerID to)
The event source is the container from which the agent departed.
The getContainer() method can be used to get
the event source.
The getNewContainer() method will return the
container ID of the container to which agent is moved.
The - AID of the moved agent.eventSource - The container id from which the agent departed.to - The container id of the container to which the agent moved.
getContainer(),
getNewContainer(),
getAgent()| Method Detail |
public ContainerID getContainer()
ContainerID of the event source.
In the case of ADDED_CONTAINER or
REMOVED_CONTAINER the event source
will always be the main container since the addition or deletion of a
container is essentially an action in the main container.
In the case of the a BORN_AGENT or
DEAD_AGENT event, the event source
will be the container where the agent was born or died.
In the case a MOVED_AGENT event,
the event source is the container from which the agent departed.
The container to which the agent moved can be retrieved using
the getNewContainer() method.
ContainerID of the event source.getNewContainer()public ContainerID getNewContainer()
ContainerID of the container
to which an agent moved when the event type is
MOVED_AGENT.
For all other event types, this method returns null.
ContainerID of the container
to which an agent moved.getContainer()public AID getAgent()
AID of the agent that was born,
died, or moved. If the event type is either
ADDED_CONTAINER or
REMOVED_CONTAINER,
this method returns null since there is no agent
involved.
AID of the agent that was born,
died, or moved.getContainer()public boolean isContainerBD()
ADDED_CONTAINER
or REMOVED_CONTAINER.
ADDED_CONTAINER or
REMOVED_CONTAINER,
otherwise, false is returned.public boolean isAgentBD()
BORN_AGENT or
DEAD_AGENT.
BORN_AGENT or
DEAD_AGENT, otherwise, false is returned.public int getEventType()
ADDED_CONTAINER,
REMOVED_CONTAINER,
BORN_AGENT,
DEAD_AGENT, or
MOVED_AGENT.
public java.lang.String toString()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||